<%@ page language="java" contentType="text/html; charset=ISO-8859-1"
    pageEncoding="ISO-8859-1"%>	
	<div class="axiomListingDialog" title="Manage axiom" style="display: none;">
		<table>
			<tbody>
				<tr>
					<td style="width: 125px; white-space: nowrap;">	
						<label for="type">Type</label>
					</td>
					<td>
						<select id="type">
							<option value="">&nbsp;</option>
							<option value="container">Container</option>
							<option value="comparison">Comparison</option>
							<option value="equality">Equality</option>
						</select>
					</td>
				</tr>
			</tbody>
		</table>					
		
		<div class="container axiomProperties">
			<jsp:include page="axiomDialog/containerAxiomProperties.jsp" />
			<jsp:include page="axiomDialog/comparisonAxiomProperties.jsp" />
			<jsp:include page="axiomDialog/equalityAxiomProperties.jsp" />		
		</div>
		<label for="useCondition" style="display: none; font-size: 70%;" >Conditional?</label><input id="useCondition" class="button useCondition" type="checkbox" />
		<jsp:include page="axiomDialog/conditionProperties.jsp" />
			
		<hr class="ui-state-default" />
		<span class="button ok">Okay</span>
	</div>